How to prove 0!=1